{- |

Module      :  Examples.InnerBase
Copyright   :  (c) The University of Kansas 2011
License     :  BSD3

Maintainer  :  nicolas.frisby@gmail.com
Stability   :  experimental
Portability :  see LANGUAGE pragmas (... GHC)

An datatype used in yoko examples.

-}
module Examples.InnerBase where

import Examples.TermBase (Type(..))

data Inner = Lam Type Inner
           | Var Int
           | App Inner Inner
  deriving Show
